Embedding a Card Game Language into a General Game Playing Language
نویسنده
چکیده
We make a link between a specialized context free language expressing the rules of variety of card games, called CGDL, and the most known generalpurpose game description language GDL-II. We present a systematic translation from CGDL to GDL-II, prove that the translation is correct, and analyze the complexity of resulting code in both theoretical and empirical way.
منابع مشابه
Reasoning About General Games Described in GDL-II
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human intervention—to play such games poses a reasoning challenge for general game-playing systems that is much more intricate than in case of complete information games. Action formalisms like the Situation Calculus have been developed fo...
متن کاملTranslating General Game Descriptions into an Action Language
The game description language (GDL), which is the basis for the grand AI challenge of general game playing, can be viewed as yet another action language. However, due to its unique way of addressing the frame problem, GDL turned out to be surprisingly difficult to relate to any of the classical action formalisms. In this paper, we present the first complete embedding of GDL into an existing mem...
متن کاملRepresenting and Reasoning About the Rules of General Games With Imperfect Information
A general game player is a system that can play previously unknown games just by being given their rules. For this purpose, the Game Description Language (GDL) has been developed as a high-level knowledge representation formalism to communicate game rules to players. In this paper, we address a fundamental limitation of state-of-the-art methods and systems for General Game Playing, namely, thei...
متن کاملA Path in the Jungle of Logics for Multi-agent System: On the Relation between General Game-playing Logics and Seeing-to-it-that Logics
In the recent years, several concurrent logical systems for reasoning about agency and social interaction and for representing game properties have been proposed. The aim of the present paper is to put some order in this ‘jungle’ of logics by studying the relationship between the dynamic logic of agency DLA and the game description language GDL. The former has been proposed as a variant of the ...
متن کاملA Method to Embed Problem Solving Exercises into a Playing Card Game
In this paper, we propose a concrete method to embed problem solving exercises into a playing card game. An educational game is designed in this method requires a learner is required to derive answers from problems to play the game.
متن کامل